21. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
22. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
23. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
24. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
پدیدآورنده : editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67I53
2005
25. FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(
پدیدآورنده : Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2005
26. FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
پدیدآورنده : edited by Michael Backes, David Basin & Michael Waidner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2003
27. FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
پدیدآورنده : Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2004
28. FORMS/FORMAT 2010
پدیدآورنده : Eckehard Schnieder, Gaeza Tarnai, editors
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
رده :
TA
،
1005
،.
S97
،
2011
29. FORMS/FORMAT 2010
پدیدآورنده : / Eckehard Schnieder, Gaeza Tarnai, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
رده :
E-BOOK
30. Finite-state methods and natural language processing
پدیدآورنده : / Anssi Yli-Jyrea ... [et al.], (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
رده :
QA76
.
9
.
N38F76
2010
31. Formal Aspects of Component Software
پدیدآورنده : \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
32. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
33. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
34. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
35. Formal Methods
پدیدآورنده : \ [edited by] Christiano Braga, Narciso Marti-Oliet.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
.
F67
2015
E-Book
,
36. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
37. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
38. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,مهندسی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
39. Formal approaches to software testing :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;
40. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
پدیدآورنده : Alexandre Petrenko, Andreas Ulrich )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2931
